大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

NETWORKING 2012 [electronic resource] : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I

0
索取号：
作者：Bestak、 Robert.、Kencl、 Lukas.、Li、 Li Erran.、Widmer、 Joerg.、Yin、 Hao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

NETWORKING 2012 Workshops [electronic resource] : International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings

0
索取号：
作者：Becvar、 Zdenek.、Bestak、 Robert.、Kencl、 Lukas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Security and Trust Management [electronic resource] : 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers

0
索取号：
作者：Meadows、 Catherine.、Fernandez-Gago、 Carmen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Recent Advances in Reinforcement Learning [electronic resource] : 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers

0
索取号：
作者：Sanner、 Scott.、Hutter、 Marcus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Constructive Side-Channel Analysis and Secure Design [electronic resource] : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

0
索取号：
作者：Schindler、 Werner.、Huss、 Sorin A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fluctuations in Markov Processes [electronic resource] : Time Symmetry and Martingale Approximation

0
索取号：
作者：Komorowski、 Tomasz.、Landim、 Claudio.、Olla、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life [electronic resource] : 10th Workshop on E-Business, WEB 2011, Shanghai, China, December 4, 2011, Revised Selected Papers

0
索取号：
作者：Shaw、 Michael J.、Zhang、 Dongsong.、Yue、 Wei T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trust Management VI [electronic resource] : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings

0
索取号：
作者：Dimitrakos、 Theo.、Moona、 Rajat.、Patel、 Dhiren.、McKnight、 D. Harrison.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

0
索取号：
作者：Carbone、 Marco.、Petit、 Jean-Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 鈥ʵne1, 2012. Proceedings

0
索取号：
作者：Beldiceanu、 Nicolas.、Jussien、 Narendra.、Pinson、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

0
索取号：
作者：Schrijvers、 Tom.、Thiemann、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Public Key Infrastructures, Services and Applications [electronic resource] : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

0
索取号：
作者：Petkova-Nikova、 Svetla.、Pashalidis、 Andreas.、Pernul、 G眉nther.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Communication Technologies for Vehicles [electronic resource] : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

0
索取号：
作者：Vinel、 Alexey.、Mehmood、 Rashid.、Berbineau、 Marion.、Garcia、 Cristina Rico.、Huang、 Chung-Ming.、Chilamkurti、 Naveen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

0
索取号：
作者：Vos、 Alexis.、Wille、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号：
作者：Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Datta、 Anupam.、Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院